;; Block A is on the table, block B on A and there is nothing on B.  A
;; water bucket, a brush, a A blue sprayer and a red paint can are on
;; the table and clear.  The goal is to for A to be colored ref and B
;; blue and the brush be clean. 

(define (problem 3)
  (:domain hw6)
  (:objects blockA blockB blockC canRed canBlue canGreen 
			sprayerRed sprayerGreen sprayerBlue waterbucket brush)
  
  (:init (arm-empty)
        (on-table blockA) (clear blockA)
		(on-table blockB) (clear blockB)
		(on-table blockC) (clear blockC)
		(on-table canRed) (paint canRed red)(color canRed red) (clear canRed)
		(on-table canGreen) (paint canGreen green)(color canGreen green) (clear canGreen)
		(on-table canBlue) (paint canBlue blue)(color canBlue blue) (clear canBlue)
		(on-table brush) (clean brush) (clear brush)
		(on-table sprayerRed)(color sprayerRed red) (clear sprayerRed) 
		(on-table sprayerGreen)(color sprayerGreen green) (clear sprayerGreen) 
		(on-table sprayerBlue)(color sprayerBlue blue) (clear sprayerBlue) 
		(on-table waterbucket) (clear waterbucket))
  
  (:goal (and (arm-empty)
              (color blockA red)
             (color blockB blue)
			 (color blockC green)
              (clean brush))))





